Nuprl Definition : eclseq? 11,40
eclseq?(x)
== ecl_ind(x;k,test.ff;a,b,rec1,rec2.tt;a,b,rec1,rec2.ff;a,b,rec1,rec2.ff;a,rec1.ff;a,n,rec1.ff;a,n,rec1.ff;a,l,rec1.ff) 
latex

Definitionsecl ind, tt, ff
FDL editor aliaseseclseq?

origin